Preliminary design of a supersonic cruise aircraft high-pressure turbine

Development of the supersonic cruise aircraft engine continued in this National Aeronautics and Space Administration (NASA) sponsored Pratt and Whitney program for the Preliminary Design of an Advanced High-Pressure Turbine. Airfoil cooling concepts and the technology required to implement these concepts received particular emphasis. Previous supersonic cruise aircraft mission studies were reviewed and the Variable Stream Control Engine (VSCE) was chosen as the candidate or the preliminary turbine design. The design was evaluated for the supersonic cruise mission. The advanced technology to be generated from these designs showed benefits in the supersonic cruise application and subsonic cruise application. The preliminary design incorporates advanced single crystal materials, thermal barrier coatings, and oxidation resistant coatings for both the vane and blade. The 1990 technology vane and blade designs have cooled turbine efficiency of 92.3 percent, 8.05 percent Wae cooling and a 10,000 hour life. An alternate design with 1986 technology has 91.9 percent efficiency and 12.43 percent Wae cooling at the same life. To achieve these performance and life results, technology programs must be pursued to provide the 1990's technology assumed for this study

The Cost of Monitoring Alone

We compare the succinctness of two monitoring systems for properties of infinite traces, namely parallel and regular monitors. Although a parallel monitor can be turned into an equivalent regular monitor, the cost of this transformation is a double-exponential blowup in the syntactic size of the monitors, and a triple-exponential blowup when the goal is a deterministic monitor. We show that these bounds are tight and that they also hold for translations between corresponding fragments of Hennessy-Milner logic with recursion over infinite traces.Comment: 22 page

Numerical Aspects of the Coefficient Computation for LMMs

The numerical solution of Boundary Value Problems usually requires the use of an adaptive mesh selection strategy. For this reason, when a Linear Multistep Method is considered, a dynamic computation of its coefficients is necessary. This leads to solve linear systems which can be expressed in different forms, depending on the polynomial basis used to impose the order conditions. In this paper, we compare the accuracy of the numerically computed coefficients for three different formulations. For all the considered cases Vandermonde systems on general abscissae are involved and they are always solved by the Bj \u308rk-Pereyra algorithm. An adaptation of the forward error analysis given in [8, 9] is proposed whose significance is confirmed by the numerical results

Diagnosis of centrocestus formosanus infection in zebrafish (Danio rerio) in Italy: A window to a new globalization-derived invasive microorganism

Centrocestus formosanus is a digenetic trematode with a complex life cycle, involving invertebrate and vertebrate hosts, humans included. In particular, it causes gill lesions and mortality in freshwater fish species, and gastrointestinal symptoms in infected humans. Here, we describe the occurrence of C. formosanus infection in zebrafish imported in Italy and propose a newly designed species-specific primer pair to ameliorate the diagnostic investigations for C. formosanus. Gill arches of 30 zebrafish were examined for the presence of encysted metacercariae under a stereomicroscope and processed through molecular analyses targeting the ribosomal internal transcribed sequence 2 (ITS2). Although C. formosanus distribution was originally restricted to Asia, it has been subsequently reported in new countries, revealing itself as an invasive species and raising important concerns for biodiversity, economy, scientific research, as well as animal and public health. Given the crucial role played by the ornamental fish industry in spreading this parasite, there is an urgent need for control measures to prevent the introduction and establishment of C. formosanus in non-endemic areas, including Europe. We also suggest developing new strategies in microbiology and epidemiology to better explore this new globalization-derived invasive species

Il problema della stabilità per metodi numerici per ODEs

In this paper we introduce and analyze some relations between the Pascal matrix and a new class of numerical methods for differential equations obtained generalizing the Adams methods. In particular, we shall prove that these methods are suitable for solving stiff problems since their absolute stability regions contain the negative half complex plane

Relationship between blood remifentanil concentration and stress hormone levels during pneumoperitoneum in patients undergoing laparoscopic cholecystectomy

The effect of remifentanil on stress response to surgery is unclear. However, there are not clinical studies investigating the relationship between blood remifentanil concentrations and stress hormones. Therefore, the aim of the present study was to assess the association between blood remifentanil concentrations measured after pneumoperitoneum and cortisol (CORT) or prolactin (PRL) ratio (intraoperative/preoperative value), in patients undergoing laparoscopic cholecystectom

Multi-technique characterization of glass mosaic tesserae from Villa di Teodorico in Galeata (Italy)

Several glass mosaic tesserae were found during the archeological excavations at the Villa di Teodorico in Galeata (Forl\uec-Cesena, Emilia Romagna, Italy), dated to early sixth century AD. This work reports the results of an archeometrical investigation realized through a multi-technique approach on 16 tesserae. The aims of the study were the determination of the glass composition, the characterization of coloring and opacifying agents, and the definition of the technological processes involved. The glass matrix and the dispersed crystallites were characterized in detail through micro-Raman spectroscopy, field emission scanning electron microscopy with energy-dispersive X-ray spectroscopy, and X-ray powder diffraction analyses. Micro-Raman spectroscopy was proven to be very effective in the analysis of complex objects, providing information on the structure and composition of the glass and on the nature of the opacifying agents and the crystalline colorants. UV\u2013visible\u2013NIR diffuse reflectance spectrophotometry with optic fibers was helpful to identify the metal ions used as chromophores. The different hues were obtained by means of dispersed ions as well as crystalline compounds and metal nanoparticles. A large variety of opacifying agents was detected. Results were compared with data of contemporary mosaics within the same geographical area

2-Nested Simulation is not Finitely Equationally Axiomatizable

2-nested simulation was introduced by Groote and Vaandrager [10] as the coarsest equivalence included in completed trace equivalence for which the tyft/tyxt format is a congruence format. In the lineartime-branching time spectrum of van Glabbeek [8], 2-nested simulationis one of the few equivalences for which no finite equational axiomatization is presented. In this paper we prove that such an axiomatizationdoes not exist for 2-nested simulation.Keywords: Concurrency, process algebra, basic CCS, 2-nested simulation, equational logic, complete axiomatizations

Shifted Generalized Pascal Matrices in the Context of Cli ord Algebra-Valued Polynomial Sequences

The paper shows the role of shifted generalized Pascal matrices in a matrix representation of hypercomplex orthogonal Appell systems. It extends results obtained in previous works in the context of Appell sequences whose rst term is a real constant to sequences whose initial term is a suitable chosen polynomial of n variables